<?php
	echo "Hello world!\n"
?>
